compulsory sale by auction